Secure Verification of Location Claims∗ Naveen Sastry Umesh Shankar David Wagner

Source URL: naveen.ksastry.com

• Cryptography
• Distance-bounding protocol
• IP
• NP
• Alice and Bob
• Formal verification
• Challenge-response authentication
• The Verifier
• Transmission Control Protocol
• Theoretical computer science
• Cryptographic protocols
• Applied mathematics

CIKM 2011 Workshop Proposal Template

Source URL: idke.ruc.edu.cn

• Project 985
• Data management
• Science
• Emergency management
• Humanitarian aid
• Occupational safety and health
• Data mining
• Renmin University of China
• Big data
• Technology
• Formal sciences
• Project 211

A Comprehensive Guide for Proposers to the EU Environmental Technologies Verification Pilot Programme AdvanceETV

Source URL: www.etv-danmark.dk

• Formal methods
• Logic in computer science
• Science
• Validation
• Applied mathematics
• Verification and validation
• Formal verification
• Verification
• Technology
• Pharmaceutical industry
• Validity
• Systems engineering

Randomness and Universal Machines Santiago Figueira∗ Frank Stephan† Guohua Wu‡

Source URL: www.glyc.dc.uba.ar

• Computer science
• Turing machine
• Formal methods
• Models of computation
• Turing degree
• Recursively enumerable set
• Computability
• Μ-recursive function
• Lambda calculus
• Computability theory
• Theoretical computer science
• Theory of computation

How to Efficiently Translate Extensions of Temporal Logics into Alternating Automata C´esar S´ anchez1,2 and Julian Samborski-Forlese1 1

Source URL: software.imdea.org

• Computer science
• Ω-automaton
• Deterministic finite automaton
• Nondeterministic finite automaton
• Linear temporal logic
• Finite-state machine
• Symbol
• Büchi automaton
• Automata theory
• Theoretical computer science
• Formal methods

BRICS DS-03-7 M. J. C´accamo: A Formal Calculus for Categories BRICS Basic Research in Computer Science

Source URL: www.brics.dk

LangSec: Recognition, Validation, and Compositional Correctness for Real World Security Mission Statement. Language-theoretic security (LangSec) is a design and programming philosophy that focuses on formally correct and

Source URL: langsec.org

• Applied mathematics
• Formal verification
• Specification
• Theoretical computer science
• Evaluation
• Formal methods
• Software bug
• Parsing

The Polyhedral Model Definitions Operations on Polyhedra Quantifier Elimination and SMT solvers Last Words

Source URL: labexcompilation.ens-lyon.fr

• Electronic design automation
• Formal methods
• Logic in computer science
• NP-complete problems
• Compiler optimizations
• Polyhedron
• Satisfiability Modulo Theories
• Boolean satisfiability problem
• Linear programming
• Theoretical computer science
• Mathematics
• Applied mathematics

Bernd R.HornungScience of Social Systems _________________________________________________________________________ COMPLEXITY OF ORGANIZATIONS

Source URL: sociocybernetics.unizar.es

• Knowledge
• Control theory
• Systems
• Formal sciences
• Scientific revolution
• Cybernetics
• The Structure of Scientific Revolutions
• Thomas Kuhn
• Charles E. Lindblom
• Science
• Philosophy of science
• Systems theory

Correct Software Synthesis for Stable Speed-Controlled Robotic Walking Neil Dantam∗ , Ayonga Hereid† , Aaron Ames† , and Mike Stilman∗ ∗ Center for Robotics and Intelligent Machines, Georgia Institute of Techn

Source URL: www.bipedalrobotics.com

• Applied mathematics
• LR parser
• LL parser
• Formal grammar
• Humanoid robot
• Context-free grammar
• Robotics
• Walking
• Robot locomotion
• Formal languages
• Theoretical computer science
• Software engineering